Verifying Reliability
نویسندگان
چکیده
Moore’s law has been the driving force behind the increasing computing power of today’s devices which is based on shrinking feature sizes. This shrinking process makes future devices extremely susceptible to soft errors due to, e.g., external influences like environmental radiation and internal issues like stress effects, aging and process variation. For future technology nodes "Designing reliable systems from unreliable components" 1 will be one of the most important topics. Seminar 19.–24. August, 2012 – http://www.dagstuhl.de/12341 1998 ACM Subject Classification B.6.2 Reliability and Testing [**] (B.8); B.6.3 Design Aids; B.7.3 Reliability and Testing [**] (B.8); B.7.2 Design Aids
منابع مشابه
Validation of Research Self-Efficacy Scale for Postgraduate Students of Ferdowsi University and Mashhad University of Medical Sciences
Introduction: One of the important factors directing research and research motivation is research self-efficacy. The aim of this research is developing and validating a research self-efficacy scale for postgraduate students. Methods: Statistical population included postgraguate students in Ferdowsi University and Mashhad University of Medical Sciences. The sample (240 students) was chosen usin...
متن کاملVerifying Quantitative Reliability of Programs That Execute on Unreliable Hardware
Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and recovery from soft errors is challenging, expensive, and, for some applications, unnecessary. For example, approximate computing applications (such as multimedia processing, machine learning, and big data an...
متن کاملVerifying Compiler Generation For A Domain Specific Langua..
The society is moving away from central mainframe based computing to network based computing to achieve increased performance, sharing of resources, increased extendibility and reliability, availability and fault tolerance[1]. Developing effective distributed systems which are portable, simple, expressive and secured are difficult. Verifying the correctness of such systems is far more challenging.
متن کاملAn Intuitive and Practical Method for Reliability Analysis of Complex Systems
System reliability analysis refers to the evaluation of the reliability of a system based on the reliabilities of its elements. Several methods can be applied to the system reliability analysis, such as reliability graph, fault tree analysis, Markov chain, and Monte Carlo simulation. Each method has its own characteristics, merits and demerits. Among the existing methods, the fault tree analysi...
متن کاملCross-cultural adaptation to Brazilian Portuguese of the Michigan Neuropathy Screening Instrument: MNSI-Brazil.
Since 1994, the University of Michigan Diabetes Research and Training Center proposed an instrument to measure neuropathies not yet adapted to use in Brazil. Then, this study aimed to adapt cross-culturally the Michigan Neuropathy Screening Instrument (MNSI) into Brazilian Portuguese, verifying its reliability. Thirty diabetic patients were initially evaluated with the adapted version after com...
متن کامل